Coefficient functions of the Ehrhart quasi-polynomials of rational polygons
نویسنده
چکیده
In 1976, P. R. Scott characterized the Ehrhart polynomials of convex integral polygons. We study the same question for Ehrhart polynomials and quasi-polynomials of nonintegral convex polygons. Define a pseudo-integral polygon, or PIP, to be a convex rational polygon whose Ehrhart quasipolynomial is a polynomial. The numbers of lattice points on the interior and on the boundary of a PIP determine its Ehrhart polynomial. We show that, unlike the integral case, there exist PIPs with b = 1 or b = 2 boundary points and an arbitrary number I ≥ 1 of interior points. However, the question of whether a PIP must satisfy Scott’s inequality b ≤ 2I + 7 when I ≥ 1 remains open. Turning to the case in which the Ehrhart quasi-polynomial has nontrivial quasi-period, we determine the possible minimal periods that the coefficient functions of the Ehrhart quasi-polynomial of a rational polygon may have.
منابع مشابه
Maximal Periods of ( Ehrhart ) Quasi - Polynomials 3
A quasi-polynomial is a function defined of the form q(k) = c d (k) k d + c d−1 (k) k d−1 + · · · + c0(k), where c0, c1,. .. , c d are periodic functions in k ∈ Z. Prominent examples of quasi-polynomials appear in Ehrhart's theory as integer-point counting functions for rational polytopes, and McMullen gives upper bounds for the periods of the cj (k) for Ehrhart quasi-polynomials. For generic p...
متن کامل0 M ay 2 00 7 MAXIMAL PERIODS OF ( EHRHART ) QUASI - POLYNOMIALS
A quasi-polynomial is a function defined of the form q(k) = c d (k) k d + c d−1 (k) k d−1 + · · · + c0(k), where c0, c1,. .. , c d are periodic functions in k ∈ Z. Prominent examples of quasi-polynomials appear in Ehrhart's theory as integer-point counting functions for rational polytopes, and McMullen gives upper bounds for the periods of the cj (k) for Ehrhart quasi-polynomials. For generic p...
متن کاملA Finite Calculus Approach to Ehrhart Polynomials
A rational polytope is the convex hull of a finite set of points in Rd with rational coordinates. Given a rational polytope P ⊆ Rd, Ehrhart proved that, for t ∈ Z>0, the function #(tP ∩ Zd) agrees with a quasi-polynomial LP(t), called the Ehrhart quasi-polynomial. The Ehrhart quasi-polynomial can be regarded as a discrete version of the volume of a polytope. We use that analogy to derive a new ...
متن کاملMaximal periods of (Ehrhart) quasi-polynomials
A quasi-polynomial is a function defined of the form q(k) = cd(k) k d + cd−1(k) k d−1 + · · · + c0(k), where c0, c1, . . . , cd are periodic functions in k ∈ Z. Prominent examples of quasipolynomials appear in Ehrhart’s theory as integer-point counting functions for rational polytopes, and McMullen gives upper bounds for the periods of the cj(k) for Ehrhart quasi-polynomials. For generic polyto...
متن کاملHighest Coefficients of Weighted Ehrhart Quasi-polynomials for a Rational Polytope
We describe a method for computing the highest degree coefficients of a weighted Ehrhart quasi-polynomial for a rational simple polytope.
متن کامل